AN EXTENSION OF THE MONTAGUE SEMANTICS by PHILIPPE DELSARTE and ANDRÉ THAYSE

Several authors have pointed out some limitations inherent in Montague's approach to naturallanguage representation, and have attempted to remedy these limitations by working out suitable extensions of the Montague formalism. One of these limitations originates from the fact that logical connectives and modal operators can only be applied to formulae and not to arbitrary logical expressions, which stands in contradiction with the common practice of natural language where connectives and modalities can afTect expressions of various syntactic categories (and not only complete sentences). This paper introduces an extension of Montague's intensional logic that precisely addresses the problem just alluded to. The proposed extension is equipped with a well-defined 'Boolean semantics', analogous with the Keenan-Faltz semantics.